Constructing a Hoop Using Rough Filters

JOURNAL ARTICLE published 9 September 2022 in Bulletin of the Section of Logic

Authors: Rajab Ali Borzooei | Elham Babaei

Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3

JOURNAL ARTICLE published 31 December 2019 in Bulletin of the Section of Logic

Authors: Daishi Yazaki

A comparison of two systems of point-free topology

JOURNAL ARTICLE published 30 October 2018 in Bulletin of the Section of Logic

Authors: Rafał Gruszczyński | Andrzej Pietruszczak

The Method of Socratic Proofs Meets Correspondence Analysis

JOURNAL ARTICLE published 30 June 2019 in Bulletin of the Section of Logic

Authors: Dorota Leszczyńska-Jasion | Yaroslav Petrukhin | Vasilyi Shangin

A Topological Approach to Tense LMn×m-Algebras

JOURNAL ARTICLE published 30 March 2020 in Bulletin of the Section of Logic

Authors: Aldo V. Figallo | Inés Pascual | Gustavo Pelaitay

A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3(_text{Ł}^leq)

JOURNAL ARTICLE published 14 October 2022 in Bulletin of the Section of Logic

Authors: Gemma Robles | José M. Méndez

A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Feng Gao | George Tourlakis

Non-Fregean Logics of Analytic Equivalence (I)

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Andrzej Biłat

Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

JOURNAL ARTICLE published 30 June 2016 in Bulletin of the Section of Logic

Authors: Andrzej Indrzejczak

A Classification of Improper Inference Rules

JOURNAL ARTICLE published 23 June 2022 in Bulletin of the Section of Logic

Authors: Katsumi Sasaki

Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

JOURNAL ARTICLE published 30 June 2017 in Bulletin of the Section of Logic

Authors: Nobu-Yuki Suzuki

Monadic Fragments of Intuitionistic Control Logic

JOURNAL ARTICLE published 30 December 2016 in Bulletin of the Section of Logic

Authors: Anna Glenszczyk

JOURNAL ISSUE published 2018 in Bulletin of the Section of Logic

Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

JOURNAL ARTICLE published 30 March 2019 in Bulletin of the Section of Logic

Authors: Lidia Typańska-Czajka

Quasiorders, Tolerance Relations and Corresponding “Partitions”

JOURNAL ARTICLE published 30 June 2016 in Bulletin of the Section of Logic

Authors: Marek Nowak

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1

JOURNAL ARTICLE published 30 December 2017 in Bulletin of the Section of Logic

Authors: Janusz Ciuciura

JOURNAL ISSUE published 2019 in Bulletin of the Section of Logic

Reasoning about Social Phenomena

JOURNAL ARTICLE published 30 June 2021 in Bulletin of the Section of Logic

Authors: Tomasz Jarmużek | Fengkui Ju | Piotr Kulicki | Beishui Liao

Omitting Types in Fragments and Extensions of First Order Logic

JOURNAL ARTICLE published 28 May 2021 in Bulletin of the Section of Logic

Authors: Tarek Sayed Ahmed

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

JOURNAL ARTICLE published 30 December 2020 in Bulletin of the Section of Logic

Authors: David Makinson